Implicit Probabilities in Update Semantics
نویسنده
چکیده
Update semantics is both the first ([Karttunen, 1976]) and the final proposal in discourse semantics/dynamic semantics. Update semantics consists in a definition of information states and an update function or relation specified recursively for some update language. All proposals in dynamic semantics and discourse semantics have an interpretation for some instantiation of these two parameters. A proposal in dynamic semantics that cannot be interpreted in an update semantics should presumably be given up.
منابع مشابه
On Propositional Knowledge Base Updates
It is well known that the minimal change principle was widely used in propositional knowledge base updates. However, recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive eeects. In this paper we propose a new method for the knowledge base update based on a persistence principle, which pr...
متن کاملSemantical Considerations for Knowledge Base Updates
Recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive eeects. In this paper we propose a new method for the knowledge base update based on a persistence principle , which provides conservative results for updating knowledge bases with implicit and disjunctive eeects. As it will be shown, ...
متن کاملImplicit particle filters for data assimilation
Implicit particle filters for data assimilation update the particles by first choosing probabilities and then looking for particle locations that assume them, guiding the particles one by one to the high probability domain. We provide a detailed description of these filters, with illustrative examples, together with new, more general, methods for solving the algebraic equations and with a new a...
متن کاملInference and update
We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we draw new conclusions, uncovering what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations...
متن کاملBinary Equivalents of Ternary Relationships in Entity-Relationship Modeling: A Logical Decomposition Approach
Little work has been completed which addresses the logical composition and use of ternary relationships in entity-relationship modeling. Many modeling notations and most CASE tools do not allow for ternary relationships. Alternative methods and substitutes for ternary relationship structures do not necessarily reflect the original logic, semantics or constraints of a given situation. Furthermor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013